Перевод: с греческого на все языки

со всех языков на греческий

substitution of false

См. также в других словарях:

  • False Decretals — • A name given to certain apocryphal papal letters contained in a collection of canon laws composed about the middle of the ninth century by an author who uses the pseudonym of Isidore Mercator, in the opening preface to the collection Catholic… …   Catholic encyclopedia

  • False pretenses — For the films, see False Pretenses (film). Criminal law …   Wikipedia

  • False allegation of child sexual abuse — A false allegation of child sexual abuse is an accusation by a child or young adolescent that a person committed one or more acts of child sexual abuse when in reality there was no perpetration of abuse by the accused person as alleged. Studies… …   Wikipedia

  • False hero — The false hero is a stock character in fairy tales, and sometimes also in ballads. The character appears near the end of a story in order to claim to be the hero or heroine and is, therefore, always of the same sex as the hero or heroine. The… …   Wikipedia

  • Digit symbol substitution test — DSST is a neuropsychological test sensitive to brain damage, dementia, age and depression. It isn’t sensitive to the location of brain damage (except for damage comprising part of the visual field)[1]. It consists of (e.g. nine) digit symbol… …   Wikipedia

  • Penal substitution — is a theory of the atonement within Christian theology, especially associated with the Reformed tradition. It argues that Christ, by his own sacrificial choice, was punished (penalised) in the place of sinners (substitution), thus satisfying the… …   Wikipedia

  • Forgery, Forger — • The deliberate untruthfulness of an assertion, or in the deceitful presentation of an object, and is based on an intention to deceive and to injure while using the externals of honesty Catholic Encyclopedia. Kevin Knight. 2006. Forgery, Forger… …   Catholic encyclopedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»